body {
font-family: sans-serif;
font-size: 13px;
background-color: #666699;
margin: 0;
padding: 0;
}

#top {
background-color: #333366;
margin: 0;
padding: 1em;
}

#top h1 {
margin: 0 0 0.5em 0;
padding: 0;
font-size: 129%;
}

#top a {
color: white;
text-decoration: none;
}

#secologo {
float: right;
background-color: white;
border: 1px solid #3333ff;
padding: 3px;
}

#secologo img {
width: 4em;
height: 4em;
}

#urlsearch {
color: white;
}

#side {
float: left;
margin: 1em;
width: 15em;
}

#navi ul, #navi li {
margin: 0;
padding: 0;
list-style-type: none;
}

#navi a {
color: white;
text-decoration: none;
}

#navi a:hover {
text-decoration: underline;
}

#legend {
width: 14em;
margin-top: 3em;
background-color: #cccccc;
}

#legend h3 {
margin: 0.3em 0;
padding: 0;
text-align: center;
font-size: 100%;
}

#legend div {
padding: 0.3em 1em;
margin: 1px;
}

#legend h4 {
margin: 0;
padding: 0;
font-size: 92%;
font-weight: bold;
}

#legend p {
font-size: 92%;
margin: 0;
padding: 0;
}

#content {
background-color: white;
margin-left: 16em;
padding: 1.5em;
min-height: 60em;
}

#content h2 {
margin: 0;
padding: 0 0 1em 0;
font-size: 122%;
}

#content h3 {
font-size: 114;
}

table {
border-collapse: collapse;
clear: right;
}

th {
text-align: left;
font-weight: bold;
background-color: #dddddd;
}

.vertical th {
text-align: right;
background-color: white;
}

th, td {
vertical-align: top;
border-width: 1px;
border-style: solid;
border-color: #cccccc;
padding: 0 0.5em;
}

td a {
text-decoration: none;
}

td a:hover {
text-decoration: underline;
}

.phase {
width: 4em;
}

.type {
width: 20em;
}

.details {
width: 18em;
}

.ndocs {
width: 1em;
text-align: right;
}

.docs, .doc {
width: 25em;
}

.docs ul, .docs li {
margin: 0;
padding: 0;
list-style-type: none;
}

.crit {
background-color: #ff9999;
}

.warn {
background-color: #ffcc99;
}

.note {
background-color: #ffffcc;
}

.succ {
background-color: #ccffcc;
}

.skip {
background-color: #ffccff;
}

.count {
text-align: right;
}

.insttype, .language {
color: #666666;
font-style: italic;
}

.status {
padding: 0 0.5em;
}